* admin/update_autogen (info_dir): Tweak commit message.
authorGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 03:39:28 +0000 (19:39 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 03:39:28 +0000 (19:39 -0800)
commit4435c0ee9db2df871741c6e8df3fe62bae7d80cf
tree03ac4a666cd675b4f672acfe735e1013419556a6
parent03b0f3ef84c8b68baa828169783ad263e062f002
* admin/update_autogen (info_dir): Tweak commit message.
admin/update_autogen